Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
141	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
142	Hash: Browser mootools Basics Full CheatSheet for JavascriptFramework mootools rev 1.2 by mediavrog.net/blog/ Add to Reading List Source URL: mediavrog.net Language: English - Date: 2008-06-11 19:41:00 Functional languages Search algorithms Data types Error detection and correction Hash function MooTools Set ATS Computing Software engineering Computer programming
143	Custom Alarms Printing with Visual I/O Impression d’alarmes en mode personnalisé sous Visual I/O UK : It is possible to be informed by program of the arrival of an alarm and to make a particular treatment like sending Add to Reading List Source URL: download.arsoft-int.com Language: English - Date: 2009-06-25 09:48:57 Procedural programming languages Data types Out-of-band management Serial port ALGOL 68 Parity bit Printf format string Integer Computing Software engineering Programming language theory
144	Climate Data Management System Version 3.3 Robert Drach, Paul Dubois, Dean Williams Program for Climate Model Diagnosis and Intercomparison Add to Reading List Source URL: www2-pcmdi.llnl.gov Language: English - Date: 2006-12-07 23:40:38 Variables Data types Computer file formats Scripting languages Array programming languages NetCDF Python Constructor Data analysis Computing Software engineering Statistics
145	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
146	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming
147	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
148	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-08 11:00:15 Computer programming C programming language C++ Procedural programming languages Type theory Typedef Pointer Struct ALGOL 68 Computing Software engineering Data types
149	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
150	Fortran 88 Arrays – Paper Clips and Rubber Bands Robert Bernecky Snake Island Research, Inc. 18 Fifth St., Ward’s Island, Toronto, Canada M5J 2B9 Tel: +email: Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 14:59:48 Array programming languages APL programming language family Procedural programming languages Functional languages Data types APL Fortran Array programming Array data type Software engineering Computing Computer programming

UPDATE